What is Algebraic about Algebraic Effects?
interjectedfuture.comยท1h
โœจAlgebraic Effects
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.comยท13hยท
Discuss: Lobsters, Hacker News
๐ŸงฎKolmogorov Complexity
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท8h
๐Ÿ”—Topological Sorting
Algebraic Types are not Scary
blog.aiono.devยท6hยท
Discuss: Lobsters, Hacker News
๐ŸงฎAlgebraic Datatypes
A Kevin week
blog.mitrichev.chยท20hยท
Discuss: blog.mitrichev.ch
๐Ÿ“Linear Algebra
SOLID Principles for Python Developers
dev.toยท2hยท
Discuss: DEV
๐Ÿ’ปProgramming languages
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.comยท2d
๐Ÿ’ŽInformation Crystallography
Balance between refactoring and inheritance in your code
github.comยท5hยท
Discuss: Hacker News
โœ…Format Verification
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท19hยท
Discuss: Hacker News, r/programming, r/rust
๐ŸงฎZ3 Solver
Planarizing matchings
11011110.github.ioยท22h
๐ŸŽจGraph Coloring
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.orgยท13h
๐Ÿ’ปLocal LLMs
Semantic Dictionary Encoding
falvotech.comยท2hยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.toยท2hยท
Discuss: DEV
๐Ÿ”งHardware Verification
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.comยท18hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Folks, we have the best ฯ€
lcamtuf.substack.comยท10hยท
Discuss: Substack
๐Ÿ“Mathematical Art
An introduction to program synthesis
mchav.github.ioยท3dยท
Discuss: Hacker News, r/programming
๐Ÿ“Compiler Design
How to turn Claude Code into a domain specific coding agent
blog.langchain.comยท1hยท
Discuss: Hacker News
๐Ÿ“Code Metrics
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.comยท4hยท
Discuss: Hacker News
๐Ÿ”—Lisp
The future of microoptimization
goldenstack.netยท2dยท
Discuss: Hacker News
๐ŸงฎCompute Optimization
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.chยท21hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages